$\forall$$r$:RngSig, $P$:($\mid$$r$$\mid\rightarrow\mathbb{P}$). IsPrimeIdeal($r$;$P$) $\in$ $\mathbb{P}$